// @ts-check
// https://github.com/microsoft/TypeScript/pull/45483
/**
 * @template {string} [T="hello"]
 * @typedef {T} Foo
 */

/**
 * @template T
 * @template {keyof T} K
 * @typedef {T[K]} Bar
 */

const x = { a: 1 };

/** @type {Bar<typeof x, "a">} */
const y = 1;
